projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e19f27) | patch
flask/policy: add device model types to example policy
authorDaniel De Graaf <dgdegra@tycho.nsa.gov>
Thu, 9 Feb 2012 18:25:49 +0000 (18:25 +0000)
committerDaniel De Graaf <dgdegra@tycho.nsa.gov>
Thu, 9 Feb 2012 18:25:49 +0000 (18:25 +0000)
commitda41740d00b89d4141398600869e4a656da2501b
treeb5c847d0a7292af42b3e87f58e43eefc2bce0ae0tree | snapshot
parent0e19f276cf127ec118ef122d4934c845c5fc99a7commit | diff
flask/policy: add device model types to example policy

This adds an example user for device_model_stubdomain_seclabel.

Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Committed-by: Ian Jackson <ian.jackson@eu.citrix.com>
docs/misc/xsm-flask.txt diff | blob | history
tools/flask/policy/policy/modules/xen/xen.if diff | blob | history
tools/flask/policy/policy/modules/xen/xen.te diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.